Issue2858-conflict.agda:7,5-21
Could not find a matching data signature for constructor foobar
It could be any of:
Foo (at Issue2858-conflict.agda:3,8-11)
Foo_Bar (at Issue2858-conflict.agda:4,8-15)
